home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / lisp / evaltrac.lha / doc / docbody.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1989-12-08  |  4KB  |  97 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img17.png"
  6.  ALT="\begin{evaltrace}
  7. +–> ;(price-change 'widgets 1.25 1.35)
  8. \vert
  9. +**> ;Apply PRIC...
  10. ...+_*> ;Result of PRICE-CHANGE is (WIDGETS CHANGED BY 8.0 PERCENT)
  11. \end{evaltrace}">|; 
  12. $key = q/{code}(+23){et-->}5{code};AAT/;
  13. $cached_env_img{$key} = q|<IMG
  14.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img2.png"
  15.  ALT="\begin{code}
  16. (+ 2 3) {\et –>} 5
  17. \end{code}">|; 
  18. $key = q/{code}{{bf{procedure}foo({{bf{var}x:integer);{{bf{begin}x:={sum{{tt{a}_{i}{{{bf{end};{code};MSF=1.6;AAT/;
  19. $cached_env_img{$key} = q|<IMG
  20.   STYLE="height: 196.25ex; vertical-align: -0.70ex; " SRC="|."$dir".q|img1.png"
  21.  ALT="\begin{code}
  22. {\bf procedure} foo ({\bf var} x: integer);
  23. {\bf begin}
  24. x := $\sum{\tt a}_{i}$
  25. {\bf end};
  26. \end{code}">|; 
  27. $key = q/{evaltrace}"++"++"#"#"H"H"h"h"x"x"X"X"Y"Y"y"y{evaltrace};AAT/;
  28. $cached_env_img{$key} = q|<IMG
  29.   STYLE="height: 1.61ex; vertical-align: 177.17ex; " SRC="|."$dir".q|img7.png"
  30.  ALT="\begin{evaltrace}
  31. ''++'' ++ '' ...">|; 
  32. $key = q/{evaltrace}"++-->"+-->"++..>"+..>strut"++_->"+_->"++_.>"+_.>strut"++**>"+**>"++<comment_mark>2strut"++_*>"+_*>"++_{evaltrace};AAT/;
  33. $cached_env_img{$key} = q|<IMG
  34.   STYLE="height: 1.68ex; vertical-align: 176.86ex; " SRC="|."$dir".q|img12.png"
  35.  ALT="\begin{evaltrace}
  36. ''++–>'' +–> ''++..>'' +..>
  37. \strut
  38. ''++_->'' +_-> ''++_.>'' ...
  39. ...'' +**> ''++%%>'' +%%> ''++.->'' +.->
  40. \strut
  41. ''++_*>'' +_*> ''++_\end{evaltrace}">|; 
  42. $key = q/{evaltrace}"-"-"_"_"="=".".{evaltrace};AAT/;
  43. $cached_env_img{$key} = q|<IMG
  44.   STYLE="height: 1.19ex; vertical-align: 177.69ex; " SRC="|."$dir".q|img6.png"
  45.  ALT="\begin{evaltrace}
  46. ''-'' - ''_'' _ ''='' = ''.'' .
  47. \end{evaltrace}">|; 
  48. $key = q/{evaltrace}">">"<"<"^"^"V"V")")"("("~"~"v"vstrut"]"]"!"!{evaltrace};AAT/;
  49. $cached_env_img{$key} = q|<IMG
  50.   STYLE="height: 2.10ex; vertical-align: 176.44ex; " SRC="|."$dir".q|img8.png"
  51.  ALT="\begin{evaltrace}
  52. ''>'' > ''<'' < ''^'' ^ ''V'' V '')'' ) ''('' ( '' ''  ''v'' v
  53. \strut
  54. '']'' ] ''!'' !
  55. \end{evaltrace}">|; 
  56. $key = q/{evaltrace}"T"T"t"t"I"I{evaltrace};AAT/;
  57. $cached_env_img{$key} = q|<IMG
  58.   STYLE="height: 2.17ex; vertical-align: 177.13ex; " SRC="|."$dir".q|img11.png"
  59.  ALT="\begin{evaltrace}
  60. ''T'' T ''t'' t ''I'' I
  61. \end{evaltrace}">|; 
  62. $key = q/{evaltrace}"q"q"w"w"a"a"s"s"Q"Q"W"W"A"A"S"Sstrut"e"e"r"r"d"d"f"f"E"E"R"R"D"D"F"F{evaltrace};AAT/;
  63. $cached_env_img{$key} = q|<IMG
  64.   STYLE="height: 2.38ex; vertical-align: 176.16ex; " SRC="|."$dir".q|img10.png"
  65.  ALT="\begin{evaltrace}
  66. ''q'' q ''w'' w ''a'' a ''s'' s ''Q'' Q ''W'' W ''A'' A ''S'' ...
  67. ''e'' e ''r'' r ''d'' d ''f'' f ''E'' E ''R'' R ''D'' D ''F'' F
  68. \end{evaltrace}">|; 
  69. $key = q/{evaltrace}"slash"slash"?"?"'"'{evaltrace};AAT/;
  70. $cached_env_img{$key} = q|<IMG
  71.   STYLE="height: 2.66ex; vertical-align: 176.06ex; " SRC="|."$dir".q|img9.png"
  72.  ALT="\begin{evaltrace}
  73. ''/'' / ''?'' ? ''''' '
  74. \end{evaltrace}">|; 
  75. $key = q/{evaltrace}"|"|"*"*"<comment_mark>1{evaltrace};AAT/;
  76. $cached_env_img{$key} = q|<IMG
  77.   STYLE="height: 2.38ex; vertical-align: 176.85ex; " SRC="|."$dir".q|img5.png"
  78.  ALT="\begin{evaltrace}
  79. ''\vert'' \vert ''*'' * ''%'' % '':'' :
  80. \end{evaltrace}">|; 
  81. $key = q/{evaltrace}+-->;(++23)|+_->;5{evaltrace};AAT/;
  82. $cached_env_img{$key} = q|<IMG
  83.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img4.png"
  84.  ALT="\begin{evaltrace}
  85. +–> ;(++ 2 3)
  86. \vert
  87. +_-> ;5
  88. \end{evaltrace}">|; 
  89. $key = q/{evaltrace}q->{{tt{(*23)}|a->{{tt{6}{evaltrace};AAT/;
  90. $cached_env_img{$key} = q|<IMG
  91.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img3.png"
  92.  ALT="\begin{evaltrace}
  93. q-> {\tt (* 2 3)}
  94. \vert
  95. a-> {\tt 6}
  96. \end{evaltrace}">|; 
  97.